﻿/************************************************************************
 * SMLib - State Model Library
 * Copyright (C) 2012-2013 Ali Khalili (khalili_DOT_ir_@SIGN_gmail_DOT_com)
 * **********************************************************************
 * This program is free software; you can redistribute it and/or modify it
 * under the terms of the GNU Lesser General Public License (LGPL) published 
 * by the Free Software Foundation; either version 2.1 of the License, or (at your
 * option) any later version. This program is distributed without any
 * warranty. See the GNU Lesser General Public License for more details. 
 * ***********************************************************************
 * File         :     SMLib\Automata\DFA\IBlackBox_RegLanguage.cs
 * Description  :     Common interface for black box DFAs
 * Change log   :     -Feb 2013:  Initial version
 *                    -4 Oct: removing the actvie_dfa and renaming blackbox_dfa into blackbox_regLanguage
 * To Do        :     
 ************************************************************************/
using System;
using SMLib.Automata.Base;
using System.Collections.Generic;

namespace SMLib.Automata.DFA
{
    /// <summary>
    /// An interface of a black box regular language. This should be used to connect realistic oracle
    /// into SULs or emulators (that simulates a black box system given the internal model as a DFA)
    /// </summary>
    public interface IBlackBox_RegLanguage
    {
        /// <summary>
        /// Check whether the current state is accpeting or not
        /// </summary>
        /// <returns>true if accepting, false if not</returns>
        bool isAccepting(Word input);

        /// <summary>
        /// The input alphabet
        /// </summary>
        Alphabet InputAlphabet
        {
            get;
        }
    }
}
